home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / swi-prol / install.txt < prev    next >
Text File  |  1994-07-10  |  2KB  |  68 lines
  1.                      SWI-Prolog
  2.            (Frequently) Reported installation problems
  3.  
  4. ================================================================
  5. # gcc 2.5.[0123] optimiser bug
  6.  
  7. Diagnostic: [PROLOG INTERNAL ERROR: Unexpected signal: 11 ...]
  8. Fixed from: gcc-2.5.4
  9.  
  10. All these versions of gcc produce bad  code on pl-wam.c.  Either upgrade
  11. gcc or do
  12.  
  13.     % gcc -c pl-wam.c
  14.     % make
  15.  
  16. Not optimising pl-wam.c degrades  performance  by   about  30%  on  most
  17. machines.
  18.  
  19. ================================================================
  20. # PC/Linux libc 4.5.x change
  21.  
  22. Diagnostic: Compiler fails on pl-os.c
  23. Fixed from: 1.8.7
  24.  
  25. Add the following line to src/md-linux.h:
  26.  
  27. #define RESET_STDIN        rewind(stdin)
  28.  
  29. ================================================================
  30. # Mixed BSD/POSIX signal handling
  31.  
  32. Diagnostic: Typing ^C twice kills Prolog, so does profiling and versions
  33. using dynamic stack-expansion crash  on  a   segmentation  fault  at the
  34. second expansion.
  35.  
  36. Make sure #define O_SIG_AUTO_RESET is set to 1.
  37.  
  38. ================================================================
  39. # Make fails on directory startup
  40.  
  41. Diagnostic: ../startup: no such file or directory
  42.  
  43. You probably didn't edit config.h, notably the variables M_SYSTEMHOME
  44. and M_BINDIR should be edited to meet your system setup.
  45.  
  46. ================================================================
  47. # RS6000 AIX-3.2
  48.  
  49. Diagnostic: pl is killed during the boot compilation (pl -O -o ... -b ...
  50. as run by make).
  51.  
  52. It appears linking `-static' does not work properly.  Use dynamic linking,
  53. but explicitely link /usr/lib/libc.a as the last file to get saved states
  54. working properly.
  55.  
  56. ================================================================
  57. # Readline version problems.
  58.  
  59. Diagnostic: generally the compiler bumbs out on pl-os.c with messages
  60. related to rl_<something> symbols.  If you use librealine version 1.2,
  61. you need #define O_RL12 1 in your md.h file for version 1.1, no such
  62. line should be there.
  63.  
  64. Make sure readline is compiled with gcc if you compile SWI-Prolog
  65. with gcc.  Make sure not to use BSD comapatibility for compiling
  66. the readline library (signal handling problems).  This applies to
  67. any foreign library you link to SWI-Prolog.
  68.